AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[x1, k01, x3 + x2 + x4, k12 + k13 + k14, k31 + k21 + k41, x3*x2 + x3*x4 + x2*x4, k12*x2 + x3*k13 + x4*k14, k12*k13 + k12*k14 + k13*k14, k31*x3 + k21*x2 + x4*k41, k31*k13 + k21*k12 + k14*k41, (-x3^2*x2 + x3^2*x4 + x3*x2^2 - x3*x4^2 - x2^2*x4 + x2*x4^2)//(k12*x3 - k12*x4 - x3*k14 - k13*x2 + k13*x4 + x2*k14), (k12*x3^2 - k12*x4^2 - x3^2*k14 - k13*x2^2 + k13*x4^2 + x2^2*k14)//(k12*x3 - k12*x4 - x3*k14 - k13*x2 + k13*x4 + x2*k14)]
